搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Trends & applications, 1983 : automating intelligent behavior, applications and frontiers : proceedings, May 25-26, 1983, National Bureau of Standards, Gaithersburg, Maryland 0 索取号：TP30-53/E801/1983 作者：出版社：N.Y. Silver Spring, MD (1109 Spring St., Suite 300, Silver Spring 20910) : IEEE Computer Society Press, 1984,c1983.		International Conference on Man/Machine Systems, 6-9 July 1982 0 索取号：TP11-53/E9030/1982 作者：International Conference on Man/Machine Systems (1982 : University of Manchester Institute of Science and Technology)、Institution of Electrical Engineers. Computing & Control Division.、Biological Engineering Society.、出版社：[London ; New York : Institution of Electrical Engineers, 1982]
	Methodologies for intelligent systems : proceedings of the second international symposium, held October 14-17, 1987, in Charlotte, North Carolina 0 索取号：TP11-53/E9011/2 作者：International Symposium on Methodologies for Intelligent Systems (2nd : 1987 : Charlotte、 N.C.)、RáС、 Zbigniew.、Zemankova、 Maria.、University of North Carolina at Charlotte.、出版社：New York : North-Holland, 1987.		Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 8-12 August 1983, Karlsruhe, West Germany 0 索取号：TP11-53/E907 作者：International Joint Conference on Artificial Intelligence (8th : 1983 : Karlsruhe、 Germany)、Bundy、 Alan.、International Joint Conferences on Artificial Intelligence.、出版社：[S.l.] : IJCAI ; Los Altos, Calif. : Distributed by W. Kaufmann, c1983.
	Artificial intelligence : proceedings of the IFAC Symposium, Leningrad, USSR, 4-6 October 1983 0 索取号：TP11-53/E9021 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984.		Expert systems 85 : proceedings of the Fifth Technical Conference of the British Computer Society, Specialist Group on Expert Systems, University of Warwick, 17-19 December 1985 0 索取号：TP11-53/E9014/5 作者：British Computer Society. Specialist Group on Expert Systems. Technical Conference (5th : 1985 : University of Warwick)、Merry、 Martin.、出版社：Cambridge ; New York : Cambridge University Press, 1985.
	Logics for artificial intelligence 0 索取号：TP11/E9026 作者：Turner、 Raymond、 1947-、出版社：Chichester : E. Horwood ; New York : Halsted Press, 1984.		Concrete technology for a sustainable development in the 21stcentury : proceedings of an international workshop in Lofoten,Norway, 24-27 June 1998 0 索取号：TU528/E991 作者：出版社：New York : E&FNSpon, 1999.
	Stochastic control theory and stochastic differential systems : proceedings of a workshop of the "Sonderforschungsbereich 72 der Deutschen Forschungsgemeinschaft an der UniversiẗАt Bonn" which took place January 1979 at Bad Honnef 0 索取号：TP1-55/E803 作者：出版社：Berlin ; New York : Springer-Verlag, 1979.		Semi-infinite programming : proceedings of a workshop, Bad Honnef, August 30-September 1, 1978 0 索取号：TP1-55/E802 作者：出版社：Berlin ; New York : Springer-Verlag, 1979.
	Computer algebra in scientific computing : CASC '99 : proceedings of the second workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4,1999 0 索取号：O15-532/E992 作者：Workshop on Computer Algebra in Scientific Computing (2nd : 1999)、Ganzha、 V. G. (Victor GrigorʹЕvich)、 1956-、Mayr、 Ernst.、Vorozhtsov、 E. V. (Evgenii VasilʹЕvich)、 1946-、出版社：Berlin ; New York : Springer, c1999.		Proceedings of the Conference on Video and Data Recording, Tuesday 10 to Thursday 12 July 1973, University of Birmingham 0 索取号：TN946-53/E801 作者：Conference on Video and Data Recording、 University of Birmingham、 1973.、Institution of Electronic and Radio Engineers.、出版社：London, Institution of Electronic and Radio Engineers, 1973.
	Satellite communication antenna technology : proceedings of the summer school, University of Technology, Eindhoven, the Netherlands, 23-27 August 1982 0 索取号：TN927-53/E901 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Local networks for computer communications : proceedings of the IFIP Working Group 6.4 International Workshop on Local Networks, organized by IBM, Z̈Уrich, Switzerland, August 27-29, 1980 0 索取号：TN919.2-53/E902 作者：IFIP Working Group 6.4 International Workshop on Local Networks (1980 : Z̈Уrich、 Switzerland)、West、 Anthony.、Janson、 Philippe.、IFIP Working Group 6.4.、IBM Z̈Уrich Research Laboratory.、出版社：Amsterdam ; New York : North-Holland Pub. Co., 1981.
	Signal processing : proceedings 0 索取号：TN911.76/E802 作者：NATO Advanced Study Institute on Signal Processing with Particular Reference to Underwater Acoustics、 Loughborough University of Technology、 1972.、Griffiths、 John William Roger、 1921- ed.、Stocklin、 P. L.、 ed.、Schooneveld、 C. van、 ed.、North Atlantic Treaty Organization.、Loughborough、 Eng. University of Technology. Dept. of Electronic and Electrical Engineering.、Raytheon Company. Submarine Signal Division.、出版社：London, New York, Academic Press, 1973.		Digital signal processing 0 索取号：TN911-53/E901/1978 作者：International Conference on Digital Signal Processing (1978 : University of Florence)、Cappellini、 Vito.、Constantinides、 A. G.、Florence. Universit̀А. Facolt̀А di ingegneria.、出版社：London ; New York : Academic Press, 1980.

	Trends & applications, 1983 : automating intelligent behavior, applications and frontiers : proceedings, May 25-26, 1983, National Bureau of Standards, Gaithersburg, Maryland 0 索取号：TP30-53/E801/1983 作者：出版社：N.Y. Silver Spring, MD (1109 Spring St., Suite 300, Silver Spring 20910) : IEEE Computer Society Press, 1984,c1983.		International Conference on Man/Machine Systems, 6-9 July 1982 0 索取号：TP11-53/E9030/1982 作者：International Conference on Man/Machine Systems (1982 : University of Manchester Institute of Science and Technology)、Institution of Electrical Engineers. Computing & Control Division.、Biological Engineering Society.、出版社：[London ; New York : Institution of Electrical Engineers, 1982]
	Methodologies for intelligent systems : proceedings of the second international symposium, held October 14-17, 1987, in Charlotte, North Carolina 0 索取号：TP11-53/E9011/2 作者：International Symposium on Methodologies for Intelligent Systems (2nd : 1987 : Charlotte、 N.C.)、RáС、 Zbigniew.、Zemankova、 Maria.、University of North Carolina at Charlotte.、出版社：New York : North-Holland, 1987.		Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 8-12 August 1983, Karlsruhe, West Germany 0 索取号：TP11-53/E907 作者：International Joint Conference on Artificial Intelligence (8th : 1983 : Karlsruhe、 Germany)、Bundy、 Alan.、International Joint Conferences on Artificial Intelligence.、出版社：[S.l.] : IJCAI ; Los Altos, Calif. : Distributed by W. Kaufmann, c1983.
	Artificial intelligence : proceedings of the IFAC Symposium, Leningrad, USSR, 4-6 October 1983 0 索取号：TP11-53/E9021 作者：出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1984.		Expert systems 85 : proceedings of the Fifth Technical Conference of the British Computer Society, Specialist Group on Expert Systems, University of Warwick, 17-19 December 1985 0 索取号：TP11-53/E9014/5 作者：British Computer Society. Specialist Group on Expert Systems. Technical Conference (5th : 1985 : University of Warwick)、Merry、 Martin.、出版社：Cambridge ; New York : Cambridge University Press, 1985.
	Logics for artificial intelligence 0 索取号：TP11/E9026 作者：Turner、 Raymond、 1947-、出版社：Chichester : E. Horwood ; New York : Halsted Press, 1984.		Concrete technology for a sustainable development in the 21stcentury : proceedings of an international workshop in Lofoten,Norway, 24-27 June 1998 0 索取号：TU528/E991 作者：出版社：New York : E&FNSpon, 1999.
	Stochastic control theory and stochastic differential systems : proceedings of a workshop of the "Sonderforschungsbereich 72 der Deutschen Forschungsgemeinschaft an der UniversiẗАt Bonn" which took place January 1979 at Bad Honnef 0 索取号：TP1-55/E803 作者：出版社：Berlin ; New York : Springer-Verlag, 1979.		Semi-infinite programming : proceedings of a workshop, Bad Honnef, August 30-September 1, 1978 0 索取号：TP1-55/E802 作者：出版社：Berlin ; New York : Springer-Verlag, 1979.
	Computer algebra in scientific computing : CASC '99 : proceedings of the second workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4,1999 0 索取号：O15-532/E992 作者：Workshop on Computer Algebra in Scientific Computing (2nd : 1999)、Ganzha、 V. G. (Victor GrigorʹЕvich)、 1956-、Mayr、 Ernst.、Vorozhtsov、 E. V. (Evgenii VasilʹЕvich)、 1946-、出版社：Berlin ; New York : Springer, c1999.		Proceedings of the Conference on Video and Data Recording, Tuesday 10 to Thursday 12 July 1973, University of Birmingham 0 索取号：TN946-53/E801 作者：Conference on Video and Data Recording、 University of Birmingham、 1973.、Institution of Electronic and Radio Engineers.、出版社：London, Institution of Electronic and Radio Engineers, 1973.
	Satellite communication antenna technology : proceedings of the summer school, University of Technology, Eindhoven, the Netherlands, 23-27 August 1982 0 索取号：TN927-53/E901 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Local networks for computer communications : proceedings of the IFIP Working Group 6.4 International Workshop on Local Networks, organized by IBM, Z̈Уrich, Switzerland, August 27-29, 1980 0 索取号：TN919.2-53/E902 作者：IFIP Working Group 6.4 International Workshop on Local Networks (1980 : Z̈Уrich、 Switzerland)、West、 Anthony.、Janson、 Philippe.、IFIP Working Group 6.4.、IBM Z̈Уrich Research Laboratory.、出版社：Amsterdam ; New York : North-Holland Pub. Co., 1981.
	Signal processing : proceedings 0 索取号：TN911.76/E802 作者：NATO Advanced Study Institute on Signal Processing with Particular Reference to Underwater Acoustics、 Loughborough University of Technology、 1972.、Griffiths、 John William Roger、 1921- ed.、Stocklin、 P. L.、 ed.、Schooneveld、 C. van、 ed.、North Atlantic Treaty Organization.、Loughborough、 Eng. University of Technology. Dept. of Electronic and Electrical Engineering.、Raytheon Company. Submarine Signal Division.、出版社：London, New York, Academic Press, 1973.		Digital signal processing 0 索取号：TN911-53/E901/1978 作者：International Conference on Digital Signal Processing (1978 : University of Florence)、Cappellini、 Vito.、Constantinides、 A. G.、Florence. Universit̀А. Facolt̀А di ingegneria.、出版社：London ; New York : Academic Press, 1980.